Learning Tree Languages from Positive Examples and Membership Queries

One of the most astonishing discovery of Chomsky [13] is the universal grammar which is a model of how human language works. The universal grammar is an innate combinatorial system from which every language, French, English, Japanese, can be derived. What is the implication of Chomsky’s universal grammar for grammatical inference? We think it gives a strong intuition for the mathematical modeling of language learning. Before going further, let us focus on the linguistic aspect of the language acquisition processes.